Расширенная проверка типов: внедрение сложных правил для надежных приложений | MLOG | MLOG